Robert M. Solovay
Solovayの算術的完全性定理